Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: K. Chaudhuri, “INF 321 : Les principes des langages de programmation”, 40 hours eq. TD, L3, École polytechnique, France

• Licence: K. Chaudhuri, “INF 431 : Programmation concurrente et distribuée”, 40 hours eq. TD, L3, École polytechnique, France

• Licence: S. Graham-Lengrand, “INF411: Les bases de la programmation et de l'algorithmique”, 32 hours eq. TD, L3, École Polytechnique, France.

• Master: S. Graham-Lengrand, “INF551: Computational Logic”, 45 hours eq. TD, M1, École Polytechnique, France.

• Master: S. Graham-Lengrand, “MPRI 2-1: Logique linéaire et paradigmes logiques du calcul”, 12 hours, M2, Master Parisien de Recherche en Informatique, France.

• Master: D. Miller, “MPRI 2-1: Logique linéaire et paradigmes logiques du calcul”, 12 hours, M2, Master Parisien de Recherche en Informatique, France.

• Licence: T. Libal, “INF 321 : Les principes des langages de programmation”, 40 hours eq. TD, L3, École polytechnique, France

• Master: T. Libal, “INF551: Computer-aided reasoning”, 20 hours eq. TD, M1, Êcole Polytechnique, France.

Supervision

• PhD: Zakaria Chihani, “Certification of first-order proofs in classical and intuitionistic logics”, École Polytechnique, 2 Nov 2015; supervised by Dale Miller.

• PhD in progress: Sonia Marin, 1 Nov 2014, supervised by L. Straßburger and D. Miller

• PhD in progress: Roberto Blanco, Ulysse Gérard, and Quentin Heath, supervised by D. Miller

• Internship: Horace Blanc, May-September 2015, supervised by B. Accattoli.

Juries

• D. Miller was a reporter and president for the PhD jury of Ali Assaf, École Polytechnique, 28 September.

• S. Graham-Lengrand was a member of the PhD thesis committee of Simon Cruanes, École Polytechnique, 10 September.

• K. Chaudhuri was a member of the PhD thesis committee of Yuting Wang, University of Minnesota, 5 November.